Finite Family Developments
نویسنده
چکیده
Associate to a rewrite system R having rules l → r, its labelled version R having rules l ◦ m+1 → r • m , for any natural number m ∈ ω. These rules roughly express that a left-hand side l carrying labels all larger than m can be replaced by its right-hand side r carrying labels all smaller than or equal to m. A rewrite system R enjoys finite family developments (FFD) if R is terminating. We show that the class of higher order pattern rewrite systems enjoys FFD, extending earlier results for the lambda calculus and first order term rewrite systems.
منابع مشابه
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property
A prefix property is the property that, given a reduction, the ancestor of a prefix of the target is a prefix of the source. In this paper we prove a prefix property for the class of Higher-Order Rewriting Systems with patterns (HRSs), by reducing it to a similar prefix property of a λ-calculus with explicit substitutions. This prefix property is then used to prove that Higher-order Rewriting S...
متن کاملStopping Criteria for Adaptive Finite Element Solvers
We consider a family of practical stopping criteria for linear solvers for adaptive finite element methods for symmetric elliptic problems. A contraction property between two consecutive levels of refinement of the adaptive algorithm is shown when the a family of smallness criteria for the corresponding linear solver residuals are assumed on each level or refinement. More importantly, based on ...
متن کاملA new approximation method for common fixed points of a finite family of nonexpansive non-self mappings in Banach spaces
In this paper, we introduce a new iterative scheme to approximate a common fixed point for a finite family of nonexpansive non-self mappings. Strong convergence theorems of the proposed iteration in Banach spaces.
متن کاملCommon fixed points of a finite family of multivalued quasi-nonexpansive mappings in uniformly convex Banach spaces
In this paper, we introduce a one-step iterative scheme for finding a common fixed point of a finite family of multivalued quasi-nonexpansive mappings in a real uniformly convex Banach space. We establish weak and strong convergence theorems of the propose iterative scheme under some appropriate conditions.
متن کاملStrong convergence theorem for finite family of m-accretive operators in Banach spaces
The purpose of this paper is to propose a compositeiterative scheme for approximating a common solution for a finitefamily of m-accretive operators in a strictly convex Banach spacehaving a uniformly Gateaux differentiable norm. As a consequence,the strong convergence of the scheme for a common fixed point ofa finite family of pseudocontractive mappings is also obtained.
متن کامل